[INFO] cloning repository https://github.com/miguelis/witness_optimizer
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/miguelis/witness_optimizer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 793d3dcb668721aa9ea27508a6a9927a130b5d0e
[INFO] fixing miguelis/witness_optimizer against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/miguelis/witness_optimizer
[INFO] finished tweaking git repo https://github.com/miguelis/witness_optimizer
[INFO] tweaked toml for git repo https://github.com/miguelis/witness_optimizer written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/miguelis/witness_optimizer on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/miguelis/witness_optimizer already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded json v0.12.4
[INFO] [stderr]   Downloaded libm v0.2.2
[INFO] [stderr]   Downloaded num-bigint-dig v0.6.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0
[INFO] running `Command { std: "docker" "start" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling autocfg v0.1.8
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling serde v1.0.136
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling libm v0.2.2
[INFO] [stderr]    Compiling num-bigint-dig v0.6.1
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking smallvec v1.8.0
[INFO] [stderr]     Checking constant_tracking v2.0.1 (/opt/rustwide/workdir/constant_tracking)
[INFO] [stderr]     Checking json v0.12.4
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]    Compiling serde_json v1.0.79
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking threadpool v1.8.1
[INFO] [stderr]     Checking itoa v1.0.1
[INFO] [stderr]     Checking ryu v1.0.9
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]     Checking circom_algebra v2.0.1 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> circom_algebra/src/algebra.rs:1164:21
[INFO] [stdout]      |
[INFO] [stdout] 1164 |                 let mut monomial;
[INFO] [stdout]      |                     ----^^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]     --> circom_algebra/src/algebra.rs:1867:13
[INFO] [stdout]      |
[INFO] [stdout] 1867 |         let field = BigInt::parse_bytes(FIELD.as_bytes(), 10)
[INFO] [stdout]      |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_field`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> circom_algebra/src/algebra.rs:1164:21
[INFO] [stdout]      |
[INFO] [stdout] 1164 |                 let mut monomial;
[INFO] [stdout]      |                     ----^^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking constraint_writers v2.0.1 (/opt/rustwide/workdir/constraint_writers)
[INFO] [stderr]     Checking constraint_list v2.0.1 (/opt/rustwide/workdir/constraint_list)
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> constraint_list/src/lib.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::{HashMap, HashSet, LinkedList};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constraint_writers::debug_writer::DebugWriter`
[INFO] [stdout]  --> constraint_list/src/lib.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use constraint_writers::debug_writer::DebugWriter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constraint_writers::ConstraintExporter`
[INFO] [stdout]  --> constraint_list/src/lib.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use constraint_writers::ConstraintExporter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `A`
[INFO] [stdout]  --> constraint_list/src/constraint_simplification.rs:2:32
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint};
[INFO] [stdout]   |                                ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs`
[INFO] [stdout]  --> constraint_list/src/constraint_simplification.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::fs;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:593:9
[INFO] [stdout]     |
[INFO] [stdout] 593 |     use circom_algebra::simplification_utils::build_encoded_fast_substitutions;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:594:9
[INFO] [stdout]     |
[INFO] [stdout] 594 |     use circom_algebra::simplification_utils::fast_encoded_constraint_substitution;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::mpsc`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:596:9
[INFO] [stdout]     |
[INFO] [stdout] 596 |     use std::sync::mpsc;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `threadpool::ThreadPool`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:597:9
[INFO] [stdout]     |
[INFO] [stdout] 597 |     use threadpool::ThreadPool;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::modular_arithmetic::*`
[INFO] [stdout]  --> constraint_list/src/cluster_non_linear.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use circom_algebra::modular_arithmetic::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> constraint_list/src/lib.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::{HashMap, HashSet, LinkedList};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constraint_writers::debug_writer::DebugWriter`
[INFO] [stdout]  --> constraint_list/src/lib.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use constraint_writers::debug_writer::DebugWriter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constraint_writers::ConstraintExporter`
[INFO] [stdout]  --> constraint_list/src/lib.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use constraint_writers::ConstraintExporter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `A`
[INFO] [stdout]  --> constraint_list/src/constraint_simplification.rs:2:32
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint};
[INFO] [stdout]   |                                ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs`
[INFO] [stdout]  --> constraint_list/src/constraint_simplification.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::fs;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:593:9
[INFO] [stdout]     |
[INFO] [stdout] 593 |     use circom_algebra::simplification_utils::build_encoded_fast_substitutions;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:594:9
[INFO] [stdout]     |
[INFO] [stdout] 594 |     use circom_algebra::simplification_utils::fast_encoded_constraint_substitution;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::mpsc`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:596:9
[INFO] [stdout]     |
[INFO] [stdout] 596 |     use std::sync::mpsc;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `threadpool::ThreadPool`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:597:9
[INFO] [stdout]     |
[INFO] [stdout] 597 |     use threadpool::ThreadPool;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `circom_algebra::modular_arithmetic::*`
[INFO] [stdout]  --> constraint_list/src/cluster_non_linear.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use circom_algebra::modular_arithmetic::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |         let n = Cluster::size(&cluster);
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:352:9
[INFO] [stdout]     |
[INFO] [stdout] 352 |     for i in &minimal_clusters{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:391:18
[INFO] [stdout]     |
[INFO] [stdout] 391 |              for c2 in c.c(){
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:621:29
[INFO] [stdout]     |
[INFO] [stdout] 621 |         let (substitutions, mut constants) = linear_simplification(
[INFO] [stdout]     |                             ----^^^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:663:9
[INFO] [stdout]     |
[INFO] [stdout] 663 |     let mut apply_only_affected = true;
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constants`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:621:29
[INFO] [stdout]     |
[INFO] [stdout] 621 |         let (substitutions, mut constants) = linear_simplification(
[INFO] [stdout]     |                             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `apply_only_affected`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:663:9
[INFO] [stdout]     |
[INFO] [stdout] 663 |     let mut apply_only_affected = true;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dur`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:774:9
[INFO] [stdout]     |
[INFO] [stdout] 774 |     let dur = now.elapsed().unwrap().as_millis();
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_dur`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |     for s in toberemoved{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `round_id` is never read
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:639:9
[INFO] [stdout]     |
[INFO] [stdout] 639 |         round_id += 1;
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]   --> constraint_list/src/preprocess_non_linear.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         field: &BigInt,
[INFO] [stdout]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_field`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `A` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:18:6
[INFO] [stdout]    |
[INFO] [stdout] 18 | type A = circom_algebra::algebra::ArithmeticExpression<usize>;
[INFO] [stdout]    |      ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SEncoded` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:22:6
[INFO] [stdout]    |
[INFO] [stdout] 22 | type SEncoded = HashMap<usize, A>;
[INFO] [stdout]    |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SFrames` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:23:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | type SFrames = LinkedList<SEncoded>;
[INFO] [stdout]    |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_clusters_quadratic_equalities` is never used
[INFO] [stdout]   --> constraint_list/src/constraint_simplification.rs:95:4
[INFO] [stdout]    |
[INFO] [stdout] 95 | fn get_clusters_quadratic_equalities(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_clusters_definitions` is never used
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:134:4
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn get_clusters_definitions(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_possible_combinations_clusters` is never used
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:213:4
[INFO] [stdout]     |
[INFO] [stdout] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec<Vec<usize>>) 
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |         let n = Cluster::size(&cluster);
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:352:9
[INFO] [stdout]     |
[INFO] [stdout] 352 |     for i in &minimal_clusters{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:391:18
[INFO] [stdout]     |
[INFO] [stdout] 391 |              for c2 in c.c(){
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:621:29
[INFO] [stdout]     |
[INFO] [stdout] 621 |         let (substitutions, mut constants) = linear_simplification(
[INFO] [stdout]     |                             ----^^^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:663:9
[INFO] [stdout]     |
[INFO] [stdout] 663 |     let mut apply_only_affected = true;
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constants`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:621:29
[INFO] [stdout]     |
[INFO] [stdout] 621 |         let (substitutions, mut constants) = linear_simplification(
[INFO] [stdout]     |                             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `apply_only_affected`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:663:9
[INFO] [stdout]     |
[INFO] [stdout] 663 |     let mut apply_only_affected = true;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dur`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:774:9
[INFO] [stdout]     |
[INFO] [stdout] 774 |     let dur = now.elapsed().unwrap().as_millis();
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_dur`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:811:9
[INFO] [stdout]     |
[INFO] [stdout] 811 |     for s in toberemoved{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `round_id` is never read
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:639:9
[INFO] [stdout]     |
[INFO] [stdout] 639 |         round_id += 1;
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]   --> constraint_list/src/preprocess_non_linear.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         field: &BigInt,
[INFO] [stdout]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_field`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `A` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:18:6
[INFO] [stdout]    |
[INFO] [stdout] 18 | type A = circom_algebra::algebra::ArithmeticExpression<usize>;
[INFO] [stdout]    |      ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SEncoded` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:22:6
[INFO] [stdout]    |
[INFO] [stdout] 22 | type SEncoded = HashMap<usize, A>;
[INFO] [stdout]    |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SFrames` is never used
[INFO] [stdout]   --> constraint_list/src/lib.rs:23:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | type SFrames = LinkedList<SEncoded>;
[INFO] [stdout]    |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_clusters_quadratic_equalities` is never used
[INFO] [stdout]   --> constraint_list/src/constraint_simplification.rs:95:4
[INFO] [stdout]    |
[INFO] [stdout] 95 | fn get_clusters_quadratic_equalities(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_clusters_definitions` is never used
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:134:4
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn get_clusters_definitions(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_possible_combinations_clusters` is never used
[INFO] [stdout]    --> constraint_list/src/constraint_simplification.rs:213:4
[INFO] [stdout]     |
[INFO] [stdout] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec<Vec<usize>>) 
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking optimizer v2.0.1 (/opt/rustwide/workdir/optimizer)
[INFO] [stdout] warning: unused import: `constraint_list::constraint_simplification`
[INFO] [stdout]  --> optimizer/src/main.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use constraint_list::constraint_simplification;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> optimizer/src/main.rs:21:10
[INFO] [stdout]    |
[INFO] [stdout] 21 |     for (a,b) in hmap.clone(){
[INFO] [stdout]    |          ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `num_var_out`
[INFO] [stdout]    --> optimizer/src/main.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let num_var_out = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ignored_line`
[INFO] [stdout]    --> optimizer/src/main.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |     let ignored_line = opt_line.next(); /*We ignore ~prime*/
[INFO] [stdout]     |         ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ignored_line`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_circuit_variables` is never read
[INFO] [stdout]    --> optimizer/src/main.rs:119:37
[INFO] [stdout]     |
[INFO] [stdout] 119 |     let mut num_circuit_variables = 0;
[INFO] [stdout]     |                                     ^ this value is reassigned later and never used
[INFO] [stdout] 120 |     match read_circuit_variables(circuit_variables_line){
[INFO] [stdout] 121 |         Some(value) => {num_circuit_variables = value;},
[INFO] [stdout]     |                         ----------------------------- `num_circuit_variables` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_equalities` is never read
[INFO] [stdout]    --> optimizer/src/main.rs:126:30
[INFO] [stdout]     |
[INFO] [stdout] 126 |     let mut num_equalities = 0;
[INFO] [stdout]     |                              ^ this value is reassigned later and never used
[INFO] [stdout] 127 |     match read_number_equalities(number_equalities_line){
[INFO] [stdout] 128 |         Some(value) => {num_equalities = value;},
[INFO] [stdout]     |                         ---------------------- `num_equalities` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `constraint_list::constraint_simplification`
[INFO] [stdout]  --> optimizer/src/main.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use constraint_list::constraint_simplification;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> optimizer/src/main.rs:79:48
[INFO] [stdout]    |
[INFO] [stdout] 79 |             println!("{}",next_line.expect(".").clone());
[INFO] [stdout]    |                                                ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]    = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> optimizer/src/main.rs:375:5
[INFO] [stdout]     |
[INFO] [stdout] 375 |     constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 375 |     let _ = constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> optimizer/src/main.rs:21:10
[INFO] [stdout]    |
[INFO] [stdout] 21 |     for (a,b) in hmap.clone(){
[INFO] [stdout]    |          ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `num_var_out`
[INFO] [stdout]    --> optimizer/src/main.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let num_var_out = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ignored_line`
[INFO] [stdout]    --> optimizer/src/main.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |     let ignored_line = opt_line.next(); /*We ignore ~prime*/
[INFO] [stdout]     |         ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ignored_line`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_circuit_variables` is never read
[INFO] [stdout]    --> optimizer/src/main.rs:119:37
[INFO] [stdout]     |
[INFO] [stdout] 119 |     let mut num_circuit_variables = 0;
[INFO] [stdout]     |                                     ^ this value is reassigned later and never used
[INFO] [stdout] 120 |     match read_circuit_variables(circuit_variables_line){
[INFO] [stdout] 121 |         Some(value) => {num_circuit_variables = value;},
[INFO] [stdout]     |                         ----------------------------- `num_circuit_variables` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `num_equalities` is never read
[INFO] [stdout]    --> optimizer/src/main.rs:126:30
[INFO] [stdout]     |
[INFO] [stdout] 126 |     let mut num_equalities = 0;
[INFO] [stdout]     |                              ^ this value is reassigned later and never used
[INFO] [stdout] 127 |     match read_number_equalities(number_equalities_line){
[INFO] [stdout] 128 |         Some(value) => {num_equalities = value;},
[INFO] [stdout]     |                         ---------------------- `num_equalities` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> optimizer/src/main.rs:79:48
[INFO] [stdout]    |
[INFO] [stdout] 79 |             println!("{}",next_line.expect(".").clone());
[INFO] [stdout]    |                                                ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]    = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> optimizer/src/main.rs:375:5
[INFO] [stdout]     |
[INFO] [stdout] 375 |     constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 375 |     let _ = constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.11s
[INFO] [stderr] crater-edition-check: all finished
[INFO] running `Command { std: "docker" "inspect" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0", kill_on_drop: false }`
[INFO] [stdout] e5ad2413183f39a4dd658aa0ebb2c3a64c39aea5a54451dafb6a8957b6e157f0
